﻿
function jump() {
    var jumper = document.getElementById('jumper');
    if (!jumper) return;
    var url = jumper.getAttribute('url').toString();
    var secs = parseInt((parseFloat(jumper.innerHTML) * 10));

    var us;
    function updateSec() {
        secs--;
        if (secs < 0) secs = 0;
        jumper.innerHTML = (parseFloat(secs) / 10).toFixed(1);
        if (secs <= 0) { clearTimeout(us); if (url == 'win') { window.external.LoadMovie('0'); } else { window.location = url; } }
    }
    us = setInterval(updateSec, 100);
}
jump();